$\forall$${\it es}$:ES, ${\it Sys}$:AbsInterface(Top), $f$:sys{-}antecedent(${\it es}$;${\it Sys}$), $e$:E(${\it Sys}$).
\\[0ex]did{-}forward(${\it es}$; ${\it Sys}$; $f$; $e$) $\in$ $\mathbb{P}$